Copied to
clipboard

G = C33:8(C2xC4)  order 216 = 23·33

5th semidirect product of C33 and C2xC4 acting via C2xC4/C2=C22

metabelian, supersoluble, monomial, A-group

Aliases: C6.11S32, C33:8(C2xC4), C3:Dic3:7S3, C32:7(C4xS3), (C3xC6).30D6, C33:C2:2C4, (C3xDic3):3S3, Dic3:2(C3:S3), C3:1(C6.D6), (C32xDic3):6C2, (C32xC6).8C22, C3:1(C4xC3:S3), C6.3(C2xC3:S3), C2.3(S3xC3:S3), (C3xC3:Dic3):5C2, (C2xC33:C2).C2, SmallGroup(216,126)

Series: Derived Chief Lower central Upper central

C1C33 — C33:8(C2xC4)
C1C3C32C33C32xC6C32xDic3 — C33:8(C2xC4)
C33 — C33:8(C2xC4)
C1C2

Generators and relations for C33:8(C2xC4)
 G = < a,b,c,d,e | a3=b3=c3=d2=e4=1, ab=ba, ac=ca, dad=eae-1=a-1, bc=cb, dbd=ebe-1=b-1, dcd=c-1, ce=ec, de=ed >

Subgroups: 764 in 136 conjugacy classes, 36 normal (14 characteristic)
C1, C2, C2, C3, C3, C3, C4, C22, S3, C6, C6, C6, C2xC4, C32, C32, C32, Dic3, Dic3, C12, D6, C3:S3, C3xC6, C3xC6, C3xC6, C4xS3, C33, C3xDic3, C3xDic3, C3:Dic3, C3xC12, C2xC3:S3, C33:C2, C32xC6, C6.D6, C4xC3:S3, C32xDic3, C3xC3:Dic3, C2xC33:C2, C33:8(C2xC4)
Quotients: C1, C2, C4, C22, S3, C2xC4, D6, C3:S3, C4xS3, S32, C2xC3:S3, C6.D6, C4xC3:S3, S3xC3:S3, C33:8(C2xC4)

Smallest permutation representation of C33:8(C2xC4)
On 36 points
Generators in S36
(1 9 27)(2 28 10)(3 11 25)(4 26 12)(5 20 23)(6 24 17)(7 18 21)(8 22 19)(13 34 30)(14 31 35)(15 36 32)(16 29 33)
(1 16 7)(2 8 13)(3 14 5)(4 6 15)(9 29 18)(10 19 30)(11 31 20)(12 17 32)(21 27 33)(22 34 28)(23 25 35)(24 36 26)
(1 21 29)(2 22 30)(3 23 31)(4 24 32)(5 35 11)(6 36 12)(7 33 9)(8 34 10)(13 28 19)(14 25 20)(15 26 17)(16 27 18)
(5 14)(6 15)(7 16)(8 13)(9 27)(10 28)(11 25)(12 26)(17 36)(18 33)(19 34)(20 35)(21 29)(22 30)(23 31)(24 32)
(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)(17 18 19 20)(21 22 23 24)(25 26 27 28)(29 30 31 32)(33 34 35 36)

G:=sub<Sym(36)| (1,9,27)(2,28,10)(3,11,25)(4,26,12)(5,20,23)(6,24,17)(7,18,21)(8,22,19)(13,34,30)(14,31,35)(15,36,32)(16,29,33), (1,16,7)(2,8,13)(3,14,5)(4,6,15)(9,29,18)(10,19,30)(11,31,20)(12,17,32)(21,27,33)(22,34,28)(23,25,35)(24,36,26), (1,21,29)(2,22,30)(3,23,31)(4,24,32)(5,35,11)(6,36,12)(7,33,9)(8,34,10)(13,28,19)(14,25,20)(15,26,17)(16,27,18), (5,14)(6,15)(7,16)(8,13)(9,27)(10,28)(11,25)(12,26)(17,36)(18,33)(19,34)(20,35)(21,29)(22,30)(23,31)(24,32), (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)>;

G:=Group( (1,9,27)(2,28,10)(3,11,25)(4,26,12)(5,20,23)(6,24,17)(7,18,21)(8,22,19)(13,34,30)(14,31,35)(15,36,32)(16,29,33), (1,16,7)(2,8,13)(3,14,5)(4,6,15)(9,29,18)(10,19,30)(11,31,20)(12,17,32)(21,27,33)(22,34,28)(23,25,35)(24,36,26), (1,21,29)(2,22,30)(3,23,31)(4,24,32)(5,35,11)(6,36,12)(7,33,9)(8,34,10)(13,28,19)(14,25,20)(15,26,17)(16,27,18), (5,14)(6,15)(7,16)(8,13)(9,27)(10,28)(11,25)(12,26)(17,36)(18,33)(19,34)(20,35)(21,29)(22,30)(23,31)(24,32), (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36) );

G=PermutationGroup([[(1,9,27),(2,28,10),(3,11,25),(4,26,12),(5,20,23),(6,24,17),(7,18,21),(8,22,19),(13,34,30),(14,31,35),(15,36,32),(16,29,33)], [(1,16,7),(2,8,13),(3,14,5),(4,6,15),(9,29,18),(10,19,30),(11,31,20),(12,17,32),(21,27,33),(22,34,28),(23,25,35),(24,36,26)], [(1,21,29),(2,22,30),(3,23,31),(4,24,32),(5,35,11),(6,36,12),(7,33,9),(8,34,10),(13,28,19),(14,25,20),(15,26,17),(16,27,18)], [(5,14),(6,15),(7,16),(8,13),(9,27),(10,28),(11,25),(12,26),(17,36),(18,33),(19,34),(20,35),(21,29),(22,30),(23,31),(24,32)], [(1,2,3,4),(5,6,7,8),(9,10,11,12),(13,14,15,16),(17,18,19,20),(21,22,23,24),(25,26,27,28),(29,30,31,32),(33,34,35,36)]])

C33:8(C2xC4) is a maximal subgroup of
C33:5(C2xC8)  C33:2M4(2)  S3xC6.D6  (S3xC6):D6  C33:6(C2xQ8)  (S3xC6).D6  D6.3S32  Dic3.S32  C12.40S32  C32:9(S3xQ8)  C12.58S32  C4xS3xC3:S3  C62.90D6  C62.93D6  C62:23D6
C33:8(C2xC4) is a maximal quotient of
C12.69S32  C33:9M4(2)  Dic3xC3:Dic3  C62.79D6  C62.81D6

36 conjugacy classes

class 1 2A2B2C3A···3E3F3G3H3I4A4B4C4D6A···6E6F6G6H6I12A···12H12I12J
order12223···3333344446···6666612···121212
size1127272···2444433992···244446···61818

36 irreducible representations

dim11111222244
type+++++++++
imageC1C2C2C2C4S3S3D6C4xS3S32C6.D6
kernelC33:8(C2xC4)C32xDic3C3xC3:Dic3C2xC33:C2C33:C2C3xDic3C3:Dic3C3xC6C32C6C3
# reps111144151044

Matrix representation of C33:8(C2xC4) in GL6(F13)

1130000
1210000
0001200
0011200
000010
000001
,
1100000
1110000
001000
000100
000010
000001
,
100000
010000
001000
000100
0000012
0000112
,
1230000
010000
000100
001000
0000112
0000012
,
1230000
010000
000100
001000
000080
000008

G:=sub<GL(6,GF(13))| [11,12,0,0,0,0,3,1,0,0,0,0,0,0,0,1,0,0,0,0,12,12,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[1,1,0,0,0,0,10,11,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,12,12],[12,0,0,0,0,0,3,1,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,12,12],[12,0,0,0,0,0,3,1,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,8,0,0,0,0,0,0,8] >;

C33:8(C2xC4) in GAP, Magma, Sage, TeX

C_3^3\rtimes_8(C_2\times C_4)
% in TeX

G:=Group("C3^3:8(C2xC4)");
// GroupNames label

G:=SmallGroup(216,126);
// by ID

G=gap.SmallGroup(216,126);
# by ID

G:=PCGroup([6,-2,-2,-2,-3,-3,-3,24,31,201,730,5189]);
// Polycyclic

G:=Group<a,b,c,d,e|a^3=b^3=c^3=d^2=e^4=1,a*b=b*a,a*c=c*a,d*a*d=e*a*e^-1=a^-1,b*c=c*b,d*b*d=e*b*e^-1=b^-1,d*c*d=c^-1,c*e=e*c,d*e=e*d>;
// generators/relations

׿
x
:
Z
F
o
wr
Q
<